Skip to content

P3905R0 C++ Standard Library Ready Issues to be moved in Kona #8517

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 62 commits into
base: main
Choose a base branch
from
Open

P3905R0 C++ Standard Library Ready Issues to be moved in Kona #8517

wants to merge 62 commits into from

Conversation

@eisenwave
Copy link
Member

@eisenwave eisenwave commented Nov 14, 2025 •
edited
Loading

Fixes #8460.

Fixes NB US 172-275 (C++26 CD).
Fixes NB US 171-274 (C++26 CD).
Fixes NB US 170-278 (C++26 CD).
Fixes NB US 252-387 (C++26 CD).
Fixes NB US 244-375 (C++26 CD).
Fixes NB US 237-369 (C++26 CD).
Fixes NB US 243-376 (C++26 CD).
Fixes NB US 251-388 (C++26 CD).
Fixes NB US 250-389 (C++26 CD).
Fixes NB US 258-381 (C++26 CD).
Fixes NB US 174-282 (C++26 CD).
Fixes NB PL-005 (C++26 CD).

Also fixes https://github.com/cplusplus/nbballot/issues/850
Also fixes https://github.com/cplusplus/nbballot/issues/849
Also fixes https://github.com/cplusplus/nbballot/issues/853
Also fixes https://github.com/cplusplus/nbballot/issues/962
Also fixes https://github.com/cplusplus/nbballot/issues/950
Also fixes https://github.com/cplusplus/nbballot/issues/944
Also fixes https://github.com/cplusplus/nbballot/issues/951
Also fixes https://github.com/cplusplus/nbballot/issues/963
Also fixes https://github.com/cplusplus/nbballot/issues/964
Also fixes https://github.com/cplusplus/nbballot/issues/956
Also fixes https://github.com/cplusplus/nbballot/issues/857
Also fixes https://github.com/cplusplus/nbballot/issues/793

@eisenwave
LWG4137 Fix Mandates, Preconditions, and Complexity elements of [lina…
c5f0472 
…lg] algorithms

Fixes NB US 172-275 (C++26 CD).
@eisenwave eisenwave added this to the post-2025-11 milestone Nov 14, 2025
@eisenwave eisenwave marked this pull request as draft November 14, 2025 13:18
@eisenwave eisenwave changed the title LWG4137 Fix Mandates, Preconditions, and Complexity elements of [lina… P3905R0 C++ Standard Library Ready Issues to be moved in Kona Nov 14, 2025
@eisenwave
LWG4243 as_bytes/as_writable_bytes is broken with span<volatile T>
4501cc9
@eisenwave
LWG4315 Insufficient specification of vector_two_norm and matrix_frob…
3b51264 
…_norm

Fixes NB US 171-274 (C++26 CD).
@eisenwave
LWG4423 meta::data_member_spec allows negative bit-field widths
95c9720
@eisenwave
LWG2991 variant copy constructor missing noexcept(see below)
0061d5e
@eisenwave
LWG3090 What is §[time.duration.cons]p4's "no overflow is induced in …
9fb0caa 
…the conversion" intended to mean?
@eisenwave
LWG3627 Inconsistent specifications for std::make_optional overloads
aca6910
@eisenwave
LWG4020 extents::index-cast weirdness
a1d129a
@eisenwave
LWG4136 Specify behavior of [linalg] Hermitian algorithms on diagonal…
0041fa9 
… with nonzero imaginary part

Fixes NB US 170-278 (C++26 CD).
@eisenwave
LWG4166 concat_view::end() should be more constrained in order to sup…
9b28728 
…port noncopyable iterators
@eisenwave
LWG4253 basic_const_iterator should provide iterator_type
9851211
@eisenwave
LWG4255 move_only_function constructor should recognize empty copyabl…
5d98fb2 
…e_functions
@eisenwave
LWG4256 Incorrect constrains for function_ref constructors from nonty…
7e7ef84 
…pe_t
@eisenwave
LWG4257 Stream insertion for chrono::local_time should be constrained
6d0148f
@eisenwave
LWG4265 std::midpoint should not accept const bool
d06291c
@eisenwave
LWG4266 layout_stride::mapping should treat empty mappings as exhaustive
898f9d8
@eisenwave
LWG4269 unique_copy passes arguments to its predicate backwards
02fe17d
@eisenwave

This comment was marked as resolved.

Sign in to view
@eisenwave
LWG4318 Have hive::erase_if reevaluate end() to avoid UB
19361bc
@eisenwave
LWG4328 Remove note in §[exec.sched] regarding waiting for completion…
804cf0d 
… of scheduled operations
@eisenwave
LWG4340 task::promise_type::unhandled_stopped() should be noexcept
7f8d8e3 
Fixes NB US 252-387 (C++26 CD).
@eisenwave
LWG4341 Missing rvalue reference qualification for task::connect()
237a7d6 
Fixes NB US 244-375 (C++26 CD).
@eisenwave
LWG4342 Missing rvalue reference qualification for task_scheduler::ts…
55a1507 
…-sender::connect()

Fixes NB US 237-369 (C++26 CD).
@eisenwave
LWG4343 Missing default template arguments for task
2e12dba 
Fixes NB US 243-376 (C++26 CD).
@eisenwave
LWG4345 task::promise_type::return_value default template parameter
8a958a9 
Fixes NB US 251-388 (C++26 CD).
@eisenwave
LWG4346 task::promise_type::return_void/value lack a specification
122c914 
Fixes NB US 250-389 (C++26 CD).
@eisenwave
LWG4349 task is not actually started lazily
14df1b4 
Fixes NB US 258-381 (C++26 CD).
@eisenwave
LWG4351 integral-constant-like needs more remove_cvref_t
fe45c50
@eisenwave
LWG4366 Heterogeneous comparison of expected may be ill-formed
760ddc3
@eisenwave
LWG4370 Comparison of optional<T> to T may be ill-formed
b86875a
@eisenwave
LWG4372 Weaken Mandates: for dynamic padding values in padded layouts
2ca745d
@eisenwave
LWG4375 std::simd::bit_ceil should not be noexcept
72f0eb6
@eisenwave
LWG4377 Misleading note about lock-free property of std::atomic_ref
5d90066
@eisenwave
LWG4269 FIXME unique_copy passes arguments to its predicate backwards…
262a612 
… FIXME MERGE THIS FIXME MERGE THIS WITH PREVIOUS COMMIT FIXME
@eisenwave
LWG4382 The simd::basic_mask(bool) overload needs to be more constrained
a4e645f
@eisenwave
LWG4384 flat_set::erase(iterator) is underconstrained
18de194
@eisenwave
LWG4398 enable_nonlocking_formatter_optimization should be disabled f…
792f591 
…or container adaptors
@eisenwave
LWG4399 enable_nonlocking_formatter_optimization for pair and tuple n…
3c173c8 
…eeds remove_cvref_t
@eisenwave
LWG4403 simd::basic_vec CTAD misses difference type casting
a276575
@eisenwave
LWG4407 constexpr-wrapper-like needs remove_cvref_t in simd::basic_ve…
bc8a0f7 
…c constructor
@eisenwave
LWG4412 Fix declaration of zero_element and uninit_element
3d6e18c 
Fixes NB US-174-282 (C++26 CD).
@eisenwave
LWG4413 Unused/left-over simd::alignment specialization for basic_mask
9b4c347
@eisenwave
LWG4415 task::promise_type::uncaught_exception seems to be misnamed
465b263
@eisenwave
LWG4416 <meta> should include <compare>
135a799
@eisenwave
LWG4422 meta::access_context should be a consteval-only type
9fae9f9
@eisenwave
LWG4425 CTAD function_ref of data member pointer should produce noexc…
a27684a 
…ept signature

Fixes NB PL-005 (C++26 CD).
@eisenwave
LWG4426 Clarify what meta::reflect_constant_string considers a string…
39861b8 
… literal
@eisenwave eisenwave marked this pull request as ready for review November 14, 2025 18:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

post-2025-11

Development

Successfully merging this pull request may close these issues.

[2025-11 LWG Motion 1] P3905R0 C++ Standard Library Ready Issues to be moved in Kona

2 participants

@eisenwave @jwakely